- QLISP
- 一种人工智能语言,QLISP语言
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… … Wikipedia
LISP — Apparu en 1958 Auteur John McCarthy Paradigmes fonctionnel, impératif … Wikipédia en Français
Lisp — Cet article concerne le langage de programmation. Pour le protocole Internet, voir Locator/Identifier Separation Protocol. Lisp … Wikipédia en Français
Логическое программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Scientific community metaphor — In computer science, the Scientific Community Metaphor is one way of understanding scientific communities. The first publications on the Scientific Community Metaphor (Bill Kornfeld and Carl Hewitt 1981, Kornfeld 1981, Kornfeld 1982) involved the … Wikipedia
Programmation logique — La programmation logique est une forme de programmation qui définit les applications à l aide d un ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces… … Wikipédia en Français
Planner — У этого термина существуют и другие значения, см. Planner (значения). Planner (иногда записывается большими буквами как PLANNER, в советской литературе также использовалось транслитерированное Плэнер) функционально логический язык… … Википедия
Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Плэнер — Planner (иногда записывается большими буквами как PLANNER, в советской литературе так же использовалось транслитерированное Плэнер) функционально логический язык программирования, схожий по своему синтаксису с Лиспом. Был разработан Карлом… … Википедия
Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия